Use 64-bit instead of 32.