FAQ about GCC4TI and how it relates to TIGCC