Fix #3: Work efficiently when GTAGS is too large