chiark / gitweb /
some packaging and makefile fixes (found in a working tree)