Fix a couple of "#ifdef WIN32" instances