trying to remove .synctex.gz