Fixed for tiny API change in OPAM