fixes for opam packages