Do not test OCaml 4.00.1 anymore since we are 4.01.0+ only in Mirage2