Tcl 8.5 compatibility