yikes! put 32-bit binary in 64-bit binary's place