#include "mc_base.h"
+#include "mc/mc.h"
+
#ifndef _XBT_WIN32
#include <unistd.h>
#include <sys/wait.h>
#include <xbt/fifo.h>
#include <xbt/automaton.h>
+#include "src/simix/smx_process_private.h"
+
#ifdef HAVE_MC
#include <libunwind.h>
#include "src/mc/mc_comm_pattern.h"