fixed code navigation with gtags