Fixed a problem with the Windows port that was missed while changing the Mac version