Patch against tcl8.4.13.