Changes to deploy on linux and linux section finding for 64-bit (should have been part of the last commit).