remove that annoying synctex.gz file, again