This should be built in 64-bit mode by default.