chiark / gitweb /
fix compilation with --enable-debug