Use opam 1.2.0