Tentative fix for win32 build warning