P3: require ocaml-version >= 4.01.0