fixing mess up in /win32_posix