configure.ml: deals with \r