Update to opam-1.2-rc2