diff --git a/thirdparty/eb b/thirdparty/eb
index d5bd52b5..6863251e 160000
--- a/thirdparty/eb
+++ b/thirdparty/eb
@@ -1 +1 @@
-Subproject commit d5bd52b581fb036ac075bac257ab76a0f8c1de19
+Subproject commit 6863251e0712c4e00f5b129fd84995cce606c831