I've just changed git's config to treat them as binary, let's see if that helps, I'd like to keep them around to make sure anybody can build from the git source w/o camlp4..