chiark / gitweb /
Various minor portability fixes.