issue #1753: Win32 works ok.