Update tex2text.sh