diff --git a/tools/build b/tools/build
index a283d72196..9bf1f14777 160000
--- a/tools/build
+++ b/tools/build
@@ -1 +1 @@
-Subproject commit a283d7219601a2a44b058f5f0cce3c27e0b00ad5
+Subproject commit 9bf1f147779e6b4a8146a37fe1d4418fffc950b2