Delete robots.synctex.gz