À ma connaissance, les problèmes de licence avec GTC sont résolus (du moins ceux qui touchent TIGCCLIB, franchement je n'ai pas grand chose à battre de la licence du compilateur lui-même vu que je n'y ai pas contribué, donc je n'ai pas vérifié en détail que tout soit respecté là), il y a une release publique quelque part.