diff --git a/src/bindings b/src/bindings
index 71f2e698da..667b9dda13 160000
--- a/src/bindings
+++ b/src/bindings
@@ -1 +1 @@
-Subproject commit 71f2e698dadcdfc62c76a72248c0df71cfd39d4c
+Subproject commit 667b9dda130587800b88144b238da3a1a77853c4
diff --git a/src/mina b/src/mina
index 02accb5bc5..24c8b2d723 160000
--- a/src/mina
+++ b/src/mina
@@ -1 +1 @@
-Subproject commit 02accb5bc5bd152b5b849d864b3339ada56ef891
+Subproject commit 24c8b2d723fb09d0d7f996b6ac35373dc27084ef