Update pdf2txt.py