chiark / gitweb /
compilation fixes