git-gui: fix file name handling with non-empty prefix