Delete flatten.ml~