Delete vignette.synctex.gz