#include <stdbool.h>
-#include <simgrid_config.h> /* HAVE_MC ? */
+#include <simgrid_config.h> /* SIMGRID_HAVE_MC ? */
#include <xbt/base.h>
XBT_PUBLIC(int) MC_random(int min, int max);
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
/* Internal variable used to check if we're running under the MC
*