Add a missing file to .gitignore.