we now require OCaml >= 4.02