issue #1712: Adding win32 support.