--- a/external/devxlib/src/timer.c
+++ b/external/devxlib/src/timer.c
@@ -1,7 +1,9 @@
 #include <time.h>
 
 #include <sys/types.h>
+#ifndef _WIN32
 #include <sys/times.h>
+#endif
 #include <sys/time.h>
 
 
