small update to synthesis.tcl