a few minor enhancements to gktool