Apparently, it is possible to link libATen.so statically against TH and friends. This makes deploy easier in many situations, so it's good to mention how to actually do this.