--- a/./CONTRIB/picosat-965/picosat.c
+++ b/./CONTRIB/picosat-965/picosat.c
@@ -8147,7 +8147,7 @@ picosat_stats (PS * ps)
 #ifndef NGETRUSAGE
 #include <sys/time.h>
 #include <sys/resource.h>
-#include <sys/unistd.h>
+#include <unistd.h>
 #endif
 
 double