Kevin Kofler (./66) :
Mettre à jour TIGCC et recompiler est gratuit et fait en quelques minutes.

Ca m'a quand même pas l'air si facile que ça (il y a une ligne de commande qui reconstruit un tigcc.zip à partir des sources ?), surtout que tous les fichiers ne sont pas dispos dans les sources : par exemple les includes ne sont dispos qu'après avoir lancé le setup ^^ (d'ailleurs, toi qui es pointilleux sur les licences, je ne suis pas sûr que ça soit autorisé par la GPL de faire ça le setup est une oeuvre dérivée des includes, donc il faut aussi distribuer leur code source)