fix the program.tcl file