How to revert back to 64bit