Issue #11393: The fault handler handles also SIGABRT
5 files changed