Delete extra Tex files