Fix Windows/Win32 warning