contrain extprot with ocaml version