Delete proposal.synctex.gz