improve compatibility with opam 1.0
Merge pull request #1072 from mirage/master

improve compatibility with opam 1.0