chiark / gitweb /
fix new build script