restrict older frama-c versions to the ocaml <4.01.0