oops: previous Tk sha1 was bogus; now 13ecc8ac0e