chiark / gitweb /
Fix install locations