modified gtags-mode