change pdftogexf.py