Note that this requires the presence of the tcl port, e.g. it needs portions of the unpacked tcl distribution sources. Some unfortunate hackery for this was therefore required in the Makefile.