From 0339d9d7d463f96d6d7e511c1b6ae85caed36009 Mon Sep 17 00:00:00 2001
From: Romain Beauxis <toots@rastageeks.org>
Date: Tue, 3 Aug 2021 22:32:35 +0200
Subject: [PATCH] Try this.

---
 dune-project | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index 2be92b3..16f05f4 100644
--- a/dune-project
+++ b/dune-project
@@ -7,7 +7,7 @@
 (maintainers "The Savonet Team <savonet-users@lists.sourceforge.net>")
 
 (generate_opam_files true)
-(use_standard_c_and_cxx_flags true)
+(use_standard_c_and_cxx_flags false)
 
 (package
  (name samplerate)