Fixing benchmark for release build

Change-Id: I53ac7c60f84c0964f72ad04d16d68253f6da2be7
diff --git a/175.vpr/fuchsia.patch b/175.vpr/fuchsia.patch
new file mode 100644
index 0000000..4f081bd
--- /dev/null
+++ b/175.vpr/fuchsia.patch
@@ -0,0 +1,7 @@
+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