Switching back to 64 bit