makehashes.py etc.