* non Win32 compilation fix