Fix https://github.com/OCamlPro/opam/issues/538