install-procs.tcl