Add -c option to dump.py.