chiark / gitweb /
remove fixes/destdir dependency