Fix overly aggressive gitignore that ignores necessary header input file