fix opam installation