sys/time is not needed any more for gettimeofday

src/core/disk_ops/disk_stdio.c

@@ -18,7 +18,6 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <sys/stat.h>
-#include <sys/time.h>
 #include <errno.h>
 #include <time.h>
 

src/core/disk_ops/disk_unistd.c

@@ -18,7 +18,6 @@
 #include <unistd.h>
 #include <stdlib.h>
 #include <sys/stat.h>
-#include <sys/time.h>
 #include <stdint.h>
 
 #include <starpu.h>

src/core/disk_ops/disk_unistd_o_direct.c

@@ -18,7 +18,6 @@
 #include <unistd.h>
 #include <stdlib.h>
 #include <sys/stat.h>
-#include <sys/time.h>
 #include <stdint.h>
 
 #include <starpu.h>

src/core/disk_ops/unistd/disk_unistd_global.c

@@ -18,7 +18,6 @@
 #include <unistd.h>
 #include <stdlib.h>
 #include <sys/stat.h>
-#include <sys/time.h>
 #include <stdint.h>
 #ifdef HAVE_AIO_H
 #include <aio.h>

src/core/perfmodel/perfmodel_bus.c

@@ -23,7 +23,6 @@
 #include <sched.h>
 #endif
 #include <unistd.h>
-#include <sys/time.h>
 #include <stdlib.h>
 #include <math.h>
 

src/top/starpu_top_task.c

@@ -22,7 +22,6 @@
 #include <core/task.h>
 #include <stdio.h>
 #include <string.h>
-#include <sys/time.h>
 #include <common/timing.h>
 
 /********************************************