[TxMt] New Xcode stuff: build problems