put autogenerated header in git ignore.