Delete doku2.synctex.gz