463e16b267dcfd4e20dd7e5f10242fb60e7a97f3 tetex.tmp.cleanup.diff.gz