Fix compilation of dose3 on 4.02

Due to a change in ocamlbuild, the binaries do not compile anymore.