/etc/dotlrn/config.tcl