Include ggtags for managing GNU/Global