Added a tcl file to rename the symbol.