Debugging: added test.tcl to get tcl to stdout