Fix error due to new julia hashing. Fixes #85