fix to work with opam 1.1