Shut up TeX again since it now seems to work better