Removed files not ignored by out-of-date .gitignore