Fix .gitignore.
Remove a unused file.