Fix another #warning on win32