Update pdftotxt.py