Don't remove generated files in DISTCLEAN; otherwise they are gone during package...