configure.ml: try around Sys.remove