Mark cache dirty when turning on ggtags-mode