multiplatform: make win32 happy again