[tuples][patch] Disable generation of SFTs

[Rafael Espindola]

>  Are you sure you also merged the testsuite changes?  The above test
>  doesn't any longer scan for SFT.5 ...

I didn't. My idea was to let that go in the next merge, but I can
include it in this patch.

>  If you make sure the testsuite parts are properly merged this is ok.

I am retesting with all the changes in the original patch. Will commit
if there are no surprises.

Thanks,
-- 
Rafael Avila de Espindola

Google Ireland Ltd.
Gordon House
Barrow Street
Dublin 4
Ireland

Registered in Dublin, Ireland
Registration Number: 368047