diff --git a/extern/zeus b/extern/zeus
index 6e865b656..ec125acf2 160000
--- a/extern/zeus
+++ b/extern/zeus
@@ -1 +1 @@
-Subproject commit 6e865b656a426ccdafa5558c55a7a29564425001
+Subproject commit ec125acf29f9b3df9fbb086f306bdb181634760c