diff --git a/tools/build b/tools/build
index c928643a1f..f71121db76 160000
--- a/tools/build
+++ b/tools/build
@@ -1 +1 @@
-Subproject commit c928643a1f6510caa41adbb7fd0cec62f9d7964e
+Subproject commit f71121db76e875996e07a789173b618d61b43d12