64-bit binary