Reinstall Eliom with other OPAM version