camomile.0.8.5: decouple from camlp4