git-gui: there is no "mode *" diff header line