No longer requires the configured tcl80. OK'd by: jkh
Pointed out by: portlint
Submitted by: asami
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.