Add mli files; remove redundant file