chiark / gitweb /
compression yes/no; rename base .so