Fix opam file