diff --git a/src/platforms/posix/work_queue/work_thread.c b/src/platforms/posix/work_queue/work_thread.c
index 942e3a1857..ec565bcfcc 100644
--- a/src/platforms/posix/work_queue/work_thread.c
+++ b/src/platforms/posix/work_queue/work_thread.c
@@ -39,6 +39,7 @@
 
 #include <px4_config.h>
 #include <px4_defines.h>
+#include <px4_posix.h>
 #include <px4_time.h>
 #include <stdint.h>
 #include <stdio.h>