fix gtags config