fix an opam-1.2.0 regression