modify code for ggtags