Update runTSDProof.cxx