Re-added x64 to the premake4 options.