fancier coredump examiner, nicer nginx runscript