issue #1689: Adding some missing files for win32.