Fix opam config