Make dump.py work with python 3.x