chiark / gitweb /
coredump: make compression configurable