Revert to 64-bit