fix double-file on win32