addpkg: binx32-tcl