Update config.dist.tcl