Explicitly specify hash function to be used in pattern.py.