fix pip-dump.py bugs