- attempt to fix win32 build; not sure, though, if it's going to work...