chiark / gitweb /
fix compile error in debug mode