diff --git a/src/util/sexpr/options.cpp b/src/util/sexpr/options.cpp
index 7e1b2feb7..c4669d0e8 100644
--- a/src/util/sexpr/options.cpp
+++ b/src/util/sexpr/options.cpp
@@ -32,7 +32,8 @@ std::ostream & operator<<(std::ostream & out, option_kind k) {
     return out;
 }
 
-static std::unique_ptr<option_declarations> g_option_declarations;
+// Replace with std::unique_ptr after bug in clang++ is fixed
+static std::shared_ptr<option_declarations> g_option_declarations;
 
 option_declarations & get_option_declarations_core() {
     if (!g_option_declarations)