diff --git a/sledge/model/cxxabi.cpp b/sledge/model/cxxabi.cpp
index 80c94785b..7d7197044 100644
--- a/sledge/model/cxxabi.cpp
+++ b/sledge/model/cxxabi.cpp
@@ -5,7 +5,7 @@
  * LICENSE file in the root directory of this source tree.
  */
 
-#include "abort_message.cpp"
+#include "cxa_default_handlers.cpp"
 #include "cxa_exception.cpp"
 #include "cxa_exception_storage.cpp"
 #include "cxa_guard.cpp"
@@ -14,6 +14,8 @@
 
 extern "C" {
 
+void abort_message(const char* format, ...) { abort(); }
+
 __attribute__((always_inline)) _Unwind_Reason_Code
 _Unwind_RaiseException(_Unwind_Exception* unwind_exception) {
   __llair_throw(thrown_object_from_cxa_exception(