Better handling of GTAGSLIBPATH in ggtags-tag-names