diff --git a/aux/broccoli b/aux/broccoli
index 0d139c09d5..f1b0a395ab 160000
--- a/aux/broccoli
+++ b/aux/broccoli
@@ -1 +1 @@
-Subproject commit 0d139c09d5a9c8623ecc2a5f395178f0ddcd7e16
+Subproject commit f1b0a395ab32388d8375ab72ec263b6029833f96