Es muss nicht unter der GNU GPL stehen, ebensowenig wie Code, der mit dem GCC compiliert wird unter der GNU GPL stehen muss. Die Lizenz eines Programmes hat keinen Einfluss auf die Lizenz des damit erzeugten Produktes.

Cheers,
Wolfgang