Add --disable-tce option to configure