Disable the TXF tests