Run `opam-admin findlib --infer --force` to normalize the findlib files