improve compatibility with opam 1.0