Trivial: another generated file for git to ignore.