Remove unused macro ggtags-with-ctags-maybe