Make sure to use the most recent S4U functions

tests/model-checking/prio_list.c

@@ -25,8 +25,11 @@
 #define _GNU_SOURCE 1
 // Assuming recent simgrid
 #define STARPU_HAVE_SIMGRID_MSG_H
-#define STARPU_HAVE_XBT_SYNCHRO_H
+#define STARPU_HAVE_SIMGRID_SEMAPHORE_H
 #define STARPU_HAVE_SIMGRID_MUTEX_H
+#define STARPU_HAVE_SIMGRID_COND_H
+#define STARPU_HAVE_SIMGRID_BARRIER_H
+#define STARPU_HAVE_XBT_SYNCHRO_H
 #define HAVE_SIMGRID_GET_CLOCK
 #define HAVE_SG_ACTOR_SLEEP_FOR
 #define HAVE_SG_CFG_SET_INT

tests/model-checking/starpu_barrier.c

@@ -41,6 +41,10 @@
 #endif
 // Assuming recent simgrid
 #define STARPU_HAVE_SIMGRID_MSG_H
+#define STARPU_HAVE_SIMGRID_SEMAPHORE_H
+#define STARPU_HAVE_SIMGRID_MUTEX_H
+#define STARPU_HAVE_SIMGRID_COND_H
+#define STARPU_HAVE_SIMGRID_BARRIER_H
 #define STARPU_HAVE_XBT_SYNCHRO_H
 #define HAVE_SIMGRID_GET_CLOCK
 #define HAVE_SG_ACTOR_SLEEP_FOR