Add the Tcl port