Fixing CAMLP4 compilation.