Fix opam yes