--- ../speechd.h	2018-10-16 16:57:51.355159010 +0000
+++ ./src/server/speechd.h	2018-10-16 16:58:00.751157017 +0000
@@ -49,7 +49,7 @@
 
 #include <semaphore.h>
 #include <sys/ipc.h>
-#include <sys/sem.h>
+#include <linux/sem.h>
 
 #define SPEECHD_DEBUG 0