chiark / gitweb /
fix compilation errors