ignore gtags.