gitk: fix the display of files when filtered by path