diff --git a/local/sources/base b/local/sources/base
index c015a375b1..0725f81144 160000
--- a/local/sources/base
+++ b/local/sources/base
@@ -1 +1 @@
-Subproject commit c015a375b193e1bef37bf01c212ecf9e46218644
+Subproject commit 0725f81144be50837aaf5ecb2422477f591dab9b