Rollback to gtags.el