diff --git a/binaryen b/binaryen
index 423cf0b..96f7acf 160000
--- a/binaryen
+++ b/binaryen
@@ -1 +1 @@
-Subproject commit 423cf0b890e44356fbfa80c5bdfd4032fcc1da01
+Subproject commit 96f7acf09aae1ec6e8bc573dfa8f309c4f892a40
diff --git a/dune b/dune
index df1d276..d90311e 100644
--- a/dune
+++ b/dune
@@ -5,17 +5,17 @@
  (library_flags
   (:include ./config/library_flags.sexp))
  (c_library_flags :standard -lstdc++ -lpthread)
- (install_c_headers binaryen-c wasm-delegations))
+ (install_c_headers binaryen-c))
 
 (rule
- (targets binaryen-c.h wasm-delegations.h)
+ (targets binaryen-c.h wasm-delegations.def)
  (deps
   (source_tree binaryen))
  (action
   (no-infer
    (progn
     (copy binaryen/src/binaryen-c.h binaryen-c.h)
-    (copy binaryen/src/wasm-delegations.h wasm-delegations.h)))))
+    (copy binaryen/src/wasm-delegations.def wasm-delegations.def)))))
 
 (rule
  (targets libbinaryen.a)