Remove github-generated old files.