Fix MC build

tests/model-checking/prio_list.c

@@ -18,7 +18,7 @@
 #define _STARPU_MALLOC_CAST(p, s, t) do {p = (t) malloc(s);} while (0)
 
 #ifndef NOCONFIG
-#include <config.h>
+#include <common/config.h>
 #else
 #define _GNU_SOURCE 1
 // Assuming recent simgrid

tests/model-checking/starpu_barrier.c

@@ -29,7 +29,7 @@
 #define STARPU_UYIELD() ((void)0)
 
 #ifndef NOCONFIG
-#include <config.h>
+#include <common/config.h>
 #else
 #ifndef _GNU_SOURCE
 #define _GNU_SOURCE 1