issue #1687: win32 ok.