chiark / gitweb /
Build system: Fix various issues that came from errornous migration.