I don't think that .mli only work unfortunately...