diff --git a/tools/build b/tools/build
index be69c44857..85252c9d6a 160000
--- a/tools/build
+++ b/tools/build
@@ -1 +1 @@
-Subproject commit be69c44857e34fae250aa1321808a05c1d88bfde
+Subproject commit 85252c9d6a3817daca23ddae94ce16c7be4d2c12