-/* We have mmap and objdump to handle privatization */
-#cmakedefine HAVE_PRIVATIZATION @HAVE_PRIVATIZATION@
-
-#cmakedefine HAVE_PTHREAD @HAVE_PTHREAD@ /* Define to 1 if threads are usable . */
-#cmakedefine HAVE_PTHREAD_SETAFFINITY @HAVE_PTHREAD_SETAFFINITY@ /* Seems to be linux only */
-
-/* Define to 1 if you have the `popen' function. */
-#cmakedefine HAVE_POPEN @HAVE_POPEN@
-
-/* Define if sem_init() is avaible or not (part of XPG6 standard only) */
-#cmakedefine HAVE_SEM_INIT @HAVE_SEM_INIT@
-
-/* Define to 1 if you have the <signal.h> header file. */
-#cmakedefine HAVE_SIGNAL_H @HAVE_SIGNAL_H@
-
-/* Define to 1 if you have the `sysconf' function. */
-#cmakedefine HAVE_SYSCONF @HAVE_SYSCONF@
-
-/* Define to 1 if you have the <sys/ptrace.h> header file. */
-#cmakedefine HAVE_SYS_PTRACE_H @HAVE_SYS_PTRACE_H@
-
-/* Define to 1 if you have the <sys/types.h> header file. */
-#cmakedefine HAVE_SYS_TYPES_H @HAVE_SYS_TYPES_H@
-
-/* Define to 1 if you have the <unistd.h> header file. */
-#cmakedefine HAVE_UNISTD_H @HAVE_UNISTD_H@
-
-/* Define to 1 if you have the `nanosleep' function. */
-#cmakedefine HAVE_NANOSLEEP @HAVE_NANOSLEEP@
-
-/* Define to 1 if you have the <valgrind/valgrind.h> header file. */
-#cmakedefine HAVE_VALGRIND_VALGRIND_H @HAVE_VALGRIND_VALGRIND_H@
-
-#cmakedefine HAVE_VASPRINTF @HAVE_VASPRINTF@
-
-/* define for stack growth */
-#cmakedefine PTH_STACKGROWTH @PTH_STACKGROWTH@
-
-/* Define to 1 if you have the ANSI C header files. */
-#cmakedefine STDC_HEADERS @STDC_HEADERS@
-
-/* Define to 1 if `lex' declares `yytext' as a `char *' by default, not a `char[]'. */
-#cmakedefine YYTEXT_POINTER
+/* MC variables */
+#cmakedefine HAVE_GETDTABLESIZE @HAVE_GETDTABLESIZE@ /* getdtablesize: get descriptor table size */
+#cmakedefine HAVE_MMALLOC @HAVE_MMALLOC@ /* Did we compile mmalloc in? */
+#cmakedefine HAVE_PROCESS_VM_READV @HAVE_PROCESS_VM_READV@ /* process_vm_readv: transfer data between process address spaces */
+#cmakedefine MMALLOC_WANT_OVERRIDE_LEGACY @MMALLOC_WANT_OVERRIDE_LEGACY@ /* Set to true if enable_model-checking is true */
+#cmakedefine HAVE_MC @HAVE_MC@