Fix "git diff --stat" for interesting - but empty - file changes