Forked gtags.el