chiark / gitweb /
set hash seed for repro output