fix for OCAMLDIR