diff --git a/src/modules/px4iofirmware/px4io.c b/src/modules/px4iofirmware/px4io.c
index b31e60b0a1..104ba5daf2 100644
--- a/src/modules/px4iofirmware/px4io.c
+++ b/src/modules/px4iofirmware/px4io.c
@@ -37,7 +37,7 @@
  */
 
 #include <px4_config.h>
-#include <nuttx/arch.h>
+#include "platform/cxxinitialize.h"
 
 #include <stdio.h>	// required for task_create
 #include <stdbool.h>