diff --git a/src/inet/common/UnsharedNamespaceInitializer.cc b/src/inet/common/UnsharedNamespaceInitializer.cc
index 2687f704839..c5b48faf033 100644
--- a/src/inet/common/UnsharedNamespaceInitializer.cc
+++ b/src/inet/common/UnsharedNamespaceInitializer.cc
@@ -8,7 +8,10 @@
 
 #include <fcntl.h>
 #include <fstream>
+
+#ifdef __linux__
 #include <sys/prctl.h>
+#endif
 
 namespace inet {