configure.ml: fixes for win32