Added missing iftex.tex