chiark / gitweb /
Portability fixes.