Delete doku.synctex.gz