Add ggtags configuration, fix ERC config