chiark / gitweb /
Cope with various header files being missing.