diff --git a/libsel4camkes/src/arch/x86/crt0.S b/libsel4camkes/src/arch/x86/crt0.S
index b647eb2f..294cabbf 100644
--- a/libsel4camkes/src/arch/x86/crt0.S
+++ b/libsel4camkes/src/arch/x86/crt0.S
@@ -14,6 +14,7 @@
 
 #define __ASM__
 #include <sel4/arch/constants.h>
+#include <sel4/sel4_arch/constants.h>
 
 #include <autoconf.h>