ignore TeX output files