Fix Koch deleting the .gitignore while cleaning