gitk: fix file name encoding in diff hunk headers