Delete SemanticWeb.synctex.gz