Update regtester.tcl