diff --git a/ion/src/device/events_keyboard_platform.cpp b/ion/src/device/events_keyboard_platform.cpp
index f5e29798f..4c2b1a605 100644
--- a/ion/src/device/events_keyboard_platform.cpp
+++ b/ion/src/device/events_keyboard_platform.cpp
@@ -1,3 +1,4 @@
+#include <ion/events.h>
 #include <ion/usb.h>
 #include <assert.h>
 
diff --git a/python/src/py/nlrthumb.c b/python/src/py/nlrthumb.c
index f17c91686..99061e62c 100644
--- a/python/src/py/nlrthumb.c
+++ b/python/src/py/nlrthumb.c
@@ -75,7 +75,7 @@ __attribute__((naked)) unsigned int nlr_push(nlr_buf_t *nlr) {
     #if defined(__APPLE__) || defined(__MACH__)
     "b      _nlr_push_tail      \n" // do the rest in C
     #else
-    "jmp    nlr_push_tail       \n" // do the rest in C
+    "b      nlr_push_tail       \n" // do the rest in C
     #endif
 #endif
     );