--- /dev/null
+diff --git a/make/src/doname.cc b/make/src/doname.cc
+index 6b6f3d3..7b5bb33 100644
+--- a/make/src/doname.cc
++++ b/make/src/doname.cc
+@@ -72,10 +72,6 @@
+
+ #include <signal.h>
+
+-#if defined (__sun) || defined (__linux__)
+-# include <stropts.h>
+-#endif
+-
+ #include <sys/errno.h>
+ #include <sys/stat.h>
+ #include <sys/types.h>