fix opam file