diff -Nau0rbB src/pr.h src.patched/pr.h
--- src/pr.h	2016-12-12 14:09:02.384118474 -0800
+++ src.patched/pr.h	2016-12-12 14:09:32.979925175 -0800
@@ -7,0 +8 @@
+#ifndef NDEBUG
@@ -9,0 +11 @@
+#endif