chiark / gitweb /
Fix installation problems