--- rpl/src/rpl.h	2017/08/03 17:17:50	1.315
+++ rpl/src/rpl.h	2017/08/04 09:14:59	1.316
@@ -92,10 +92,10 @@
 #include <stdarg.h>
 #include <poll.h>
 #include <signal.h>
+#include <sys/time.h>
 
 #ifndef RPLARGS
 #	include <sys/mman.h>
-#	include <sys/time.h>
 #	include <sys/resource.h>
 #	include <sys/select.h>
 #	include <sys/socket.h>