Remove the dependency to the OPAM mirage package