Thanks for that fix. We now have an even faster Ocaml version real 0m2.260s user 0m1.867s sys 0m0.221s