--- src/debug/debug.cc.orig	2023-09-03 16:17:45
+++ src/debug/debug.cc	2023-09-04 18:28:32
@@ -23,6 +23,13 @@ char *Debug::debugOptions = nullptr;
 #include <memory>
 #include <optional>
 
+namespace std {
+    bad_optional_access::~bad_optional_access() noexcept = default;
+    const char* bad_optional_access::what() const noexcept {
+        return "bad_optional_access";
+    }
+}
+
 char *Debug::debugOptions = nullptr;
 int Debug::override_X = 0;
 bool Debug::log_syslog = false;