Load system headers before intercepting gettimeofday to not mess up

diff --git a/include/smpi/mpi.h b/include/smpi/mpi.h
index 482fa7e..5bfe31a 100644 (file)
--- a/include/smpi/mpi.h
+++ b/include/smpi/mpi.h
@@ -17,6 +17,7 @@
 #include <xbt/asserts.h>
 #include <simgrid/modelchecker.h>
 
+#include <sys/time.h> /* Load it before the define next line to not mess with the system headers */
 #define gettimeofday(x, y) smpi_gettimeofday(x, NULL)
 
 #ifdef HAVE_MC