remove that annoying synctex.gz file