chiark / gitweb /
really detect WCOREDUMP properly