fix for MSWin32 build failure