Minor: one more generated file added to .gitignore