leoliu Minor cleanup for ggtags-global-output