Fix opam install