diff --git a/frontend/drivers/platform_unix.h b/frontend/drivers/platform_unix.h
index b447b4b6fb..db5eacceb3 100644
--- a/frontend/drivers/platform_unix.h
+++ b/frontend/drivers/platform_unix.h
@@ -19,7 +19,6 @@
 #define _PLATFORM_UNIX_H
 
 #include <stdint.h>
-#include <sys/cdefs.h>
 
 #include <boolean.h>