Patch to fix the default path in installer.tcl.