7Sep05 version files changed by 18Oct05 patch:

src/dump.py