Fix the --coredump switch, which has apparently been broken for quite
some time...