ignore a signal that came from a machine exception, treat it as a fatal core-dump signal instead. Reported by Samuel Thibault <samuel.thibault@ens-lyon.org>.