add txt format and synctex.gz<busy>