win32: minor change to please win32 build system.