diff --git a/lib/external b/lib/external
index 8b03ce30f..c0e71ffc5 160000
--- a/lib/external
+++ b/lib/external
@@ -1 +1 @@
-Subproject commit 8b03ce30f8f222f2c6c24c45e9e7dd3571bb299d
+Subproject commit c0e71ffc58925fee8a874336675c75e5cd09e967