Fix opam installation