modified binaries, all now 64-bit