chiark / gitweb /
Revert "Fix out-of-tree builds"