chiark / gitweb /
Fix build system.