chiark / gitweb /
get headers for WCOREDUMP right