added camlp4 resources