fix ethans patch to check if NDEBUG is set already before setting it , otherwise we get a double define
diff --git a/src/core/util/utils.h b/src/core/util/utils.h
-index f7f09e9..a68caa6 100755
+index f7f09e9..8016979 100755
--- a/src/core/util/utils.h
+++ b/src/core/util/utils.h
-@@ -49,6 +49,7 @@
+@@ -49,6 +49,9 @@
#include "stddef.h"
#include "stdlib.h"
#include <assert.h>
++#ifndef NDEBUG
+#define NDEBUG
++#endif
typedef unsigned int uint;
typedef uint64_t uint64;
