Use Opam 1.1.2