build-with-recent-tetex.patch
