Fix compilation of dose3 on 4.02

Due to a change in ocamlbuild, the binaries do not compile anymore.
Merge pull request #2478 from samoht/dose3

Fix compilation of dose3 on 4.02