use 64-bit binary