setup ggtags properly