diff --git a/src/bindings b/src/bindings
index 10e33c0364..55481e7444 160000
--- a/src/bindings
+++ b/src/bindings
@@ -1 +1 @@
-Subproject commit 10e33c03648fa6d2201d2665cd2fde7064525ac8
+Subproject commit 55481e7444b48cd452375bc8a23a5a5fc42264b7
diff --git a/src/mina b/src/mina
index 02accb5bc5..a883196f55 160000
--- a/src/mina
+++ b/src/mina
@@ -1 +1 @@
-Subproject commit 02accb5bc5bd152b5b849d864b3339ada56ef891
+Subproject commit a883196f55b1a6c7ce41f9f3cc68c5a5e7ae2422