Don't keep generated files in the repository

This should rather be done during (tarball) release.