#include "src/mc/mc_replay.h"
#include "src/mc/Client.hpp"
#include "src/msg/msg_private.h"
-#include "src/simix/SynchroSleep.hpp"
-#include "src/simix/SynchroRaw.hpp"
-#include "src/simix/SynchroIo.hpp"
+#include "src/synchro/SynchroSleep.hpp"
+#include "src/synchro/SynchroRaw.hpp"
+#include "src/synchro/SynchroIo.hpp"
#ifdef HAVE_SMPI
#include "src/smpi/private.h"