Make bootstrap handle .mli files