Small fix to ggtags-include-pattern