Fix opam install.