chiark / gitweb /
fix up compilation errors