OCaml installation refinements