Fixed downloading of tcc4tcl