Fix another invocation of git from gitk with an overly long command-line