update to opam 1.1.2