more minor gktool fixes