[PATCH 2/2] .gitignore: correct generated header names