fix opam install