Same here, maybe could we change the policy on this point and remove the files generated from camlp4? (we can still add them in the targz of course...)