jimtcl: update to 0.71 based release