diff --git a/local/sources/base b/local/sources/base
index a3b8a34d9c..25a988a15d 160000
--- a/local/sources/base
+++ b/local/sources/base
@@ -1 +1 @@
-Subproject commit a3b8a34d9c97c1d3fad6a63b6516ec7ab12b1e43
+Subproject commit 25a988a15d5421cd8001f7e92245494e79c86d61