Bugfix for opam