Hi Gordon, I have no OCaml on those machines. Do you think OCaml is by default installed on machines nowadays? Otherwise --without-ocamlc should be the default to be overridden with --with-ocamlc. What do you think? Gabor