Switch default box to 64-bit