git-gui: fix use of undeclared variable diff_empty_count