chiark / gitweb /
fix build with --enable-terminal