Use the latest OPAM API