Obsolete; folded into LinuxBuildInstructions.

See LinuxBuild32On64 for instructions on how to build a 32-bit binary on a 64-bit system.