ignore .synctex.gz