chiark / gitweb /
patch from Chris Lamb to make builds reproducible