diff --git a/libraries/Desktop/support/DataFlash_APM1.cpp b/libraries/Desktop/support/DataFlash_APM1.cpp
index b45d9d31286b144fa219929b504bf38ce1c878cc..1fb7b5a608a71ad2219a262a4bd523c1f78c10ce 100644
--- a/libraries/Desktop/support/DataFlash_APM1.cpp
+++ b/libraries/Desktop/support/DataFlash_APM1.cpp
@@ -10,6 +10,7 @@
 #include <stdint.h>
 #include "DataFlash.h"
 #include <SPI.h>
+#include <AP_Semaphore.h>
 
 #define DF_PAGE_SIZE 512
 #define DF_NUM_PAGES 4096