diff --git a/external b/external
index 5c69af05..88125fdc 160000
--- a/external
+++ b/external
@@ -1 +1 @@
-Subproject commit 5c69af05427027226c576112c9dd3352b047cd9c
+Subproject commit 88125fdc0132803a30255837ac8beaa7d8c14ae5