ignore tex aux files