tex-workaround.patch
