git: short path for diff-highlight