[PATCH] gitk: start-up bugfix