Update for OPAM new command engine