Updated patch for bug 2233954 to work with newer Tcl fossil trunk tip