Fix getting gettimeofday prototype

include/starpu_util.h

@@ -324,6 +324,10 @@ struct timespec {
 };
 #endif /* STARPU_TIMESPEC_DEFINED */
 #endif /* STARPU_HAVE_STRUCT_TIMESPEC */
+/* Fetch gettimeofday on mingw/cygwin */
+#if defined(__MING32__) || defined(__CYGWIN__)
+#include <sys/time.h>
+#endif
 #else
 #include <sys/time.h>
 #endif /* _WIN32 */