--- src/utils/lib/dune.orig	2026-08-08 23:13:35.883314970 +0000
+++ src/utils/lib/dune	2026-08-08 23:13:35.928316141 +0000
@@ -39,7 +39,7 @@
     (foreign_stubs
         (language cxx)
         (names CryptoPP)
-        (flags (:standard -DPROTOTYPES=1))
+        (flags (:standard -DPROTOTYPES=1 @CXXABI@))
     )
 )