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",