gtagsの設定修正等