Compiler: added missing mli files