some changes
chaneg priority of parsing mli files to the highest