chiark / gitweb /
fix some dependencies on linux-only stuff