issue #1683: Fixed compilation errors for Win32.