usr/include/NTL/*.txt
