Git ignore some more generated files
Use angle brackets for non-local header file