use a 64-bit compiled executable on 64-bit Linux