diff --git a/src/Main/bootstrap.cxx b/src/Main/bootstrap.cxx
index 93a15e46b..61c4089df 100644
--- a/src/Main/bootstrap.cxx
+++ b/src/Main/bootstrap.cxx
@@ -183,8 +183,7 @@ void segfault_handler(int signo) {
     free(list);
   }
 
-  signal(signo, SIG_DFL);
-  kill(getpid(), signo);
+  std::abort();
 }
 #endif