Installer TIGCC après KTIGCC devrait marcher tout à fait. C'est ton TIGCC qui n'est pas installé correctement: il essaie de compiler ton fichier avec un GCC qui n'est visiblement pas celui de TIGCC, donc de 2 choses l'une: soit tu n'as pas appliqué le patch TIGCC (il faut dire "oui" quand le script te demande, le choix "non", c'est juste si tu recompiles avec les sources déjà patchées), soit la compilation de GCC a échoué (et le script de compilation de TIGCC continue bêtement si c'est le cas, il faudrait que je corrige ça).

Tu peux supprimer ton dossier /usr/local/tigcc en entier et recompiler TIGCC, en essayant de bien suivre les instructions, tu y es déjà arrivé une fois, je ne vois pas pourquoi cette fois-ci tu n'y arriverais plus.