Fix opam option