Win32 compilation fix