#170 reverting commit of generated file not covered by .gitignore