Remove useless *.mli