chiark / gitweb /
fix scratch path