More opam 1.2 fixes to depexts ...