Mirage: restrict to ocaml-4.00.1+