git-mergetool: print filename when it contains %