configure.ml: some more about win32