Ignored TeX tmp files, added luc's part