-#cmakedefine HAVE_MC @HAVE_MC@ /* Was the model-checking compiled in? */
-#cmakedefine HAVE_NS3 @HAVE_NS3@ /* Was the NS3 support compiled in? */
+#define HAVE_MC @HAVE_MC@ /* Was the model-checking compiled in? */
+#define HAVE_NS3 @HAVE_NS3@ /* Was the NS3 support compiled in? */