setup.tcl updates