chiark / gitweb /
fix build failures