*** 46,52 **** download ActiveTcl from ActiveState http://activestate.com/Products/ActiveTcl/ for several popular platforms. You may need to edit the third line of idxchk in order to use the correct Tcl intepreter (e.g. tclkit or a ! different version of tclsh.) Also, chage the permissions on the file as *chmod +x idxchk*. Or, simply specify the Tcl interpreter on the command line before idxchk (E.g., tclsh, tclsh8.4, or tclkit). --- 46,52 ---- download ActiveTcl from ActiveState http://activestate.com/Products/ActiveTcl/ for several popular platforms. You may need to edit the third line of idxchk in order to use the correct Tcl intepreter (e.g. tclkit or a ! different version of tclsh.) Also, change the permissions on the file as *chmod +x idxchk*. Or, simply specify the Tcl interpreter on the command line before idxchk (E.g., tclsh, tclsh8.4, or tclkit).