Use 64-bit box