Use opam 1.2