It's probably cleaner to add this to the toplevel .gitignore