use opam 1.2