Use a 64-bit VM