chiark / gitweb /
Fix building with --disable-extras