diff --git a/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/libstubs.cpp b/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/libstubs.cpp
index a7485f3c24..3931a970ca 100644
--- a/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/libstubs.cpp
+++ b/libuavcan_drivers/lpc11c24/test_olimex_lpc_p11c24/src/sys/libstubs.cpp
@@ -129,6 +129,11 @@ void __cxa_pure_virtual()
 extern "C"
 {
 
+void abort()
+{
+    while (true) { }
+}
+
 int _read_r(struct _reent*, int, char*, int)
 {
     return -1;
@@ -166,8 +171,7 @@ int _isatty_r(struct _reent*, int)
 
 void _exit(int)
 {
-    std::abort();
-    while (1) { }
+    abort();
 }
 
 pid_t _getpid(void)