Delete ws3.synctex.gz