--- ../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