fix opam version