From eaffdbb88419e62e89945c99aac2ab72e89b2955 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 1 May 2018 11:18:40 +0530
Subject: [PATCH] ...

---
 setup/extensions.json | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/setup/extensions.json b/setup/extensions.json
index dcff5ffb8f..6947ed5c5c 100644
--- a/setup/extensions.json
+++ b/setup/extensions.json
@@ -15,8 +15,7 @@
     {
         "name": "unicode_names",
         "headers": "unicode_names/names.h unicode_names/data-types.h",
-        "sources": "unicode_names/unicode_names.c",
-        "optimize_level": 3
+        "sources": "unicode_names/unicode_names.c"
     },
     {
         "name": "speedup",