diff --git a/tools/build b/tools/build
index 83223a10db..13da47e0b5 160000
--- a/tools/build
+++ b/tools/build
@@ -1 +1 @@
-Subproject commit 83223a10db481246722317d9049b764f11bcfbd1
+Subproject commit 13da47e0b5d211c7a712f8c116939e10bf8f031a