Make it easier to switch to x64