use tcl 8.5 on linux