Moved off another auto-generated file to .gitignore.