Add NFTL library for GNU GCC