Switched to 64 bits