Delete .mli files