chiark / gitweb /
+ Portability fixes: