ignore compiled TeX stuff