opam1.2 fixes