configure.ml: a chmod before Sys.remove