git-gui: fix the mergetool launcher for the Beyond Compare tool.