diff --git a/aux/broccoli b/aux/broccoli
index 7ad1a04b3e..7527ae2973 160000
--- a/aux/broccoli
+++ b/aux/broccoli
@@ -1 +1 @@
-Subproject commit 7ad1a04b3e9e63e164de00e62bd0db0f2e4597fc
+Subproject commit 7527ae2973e1f93f1d7fccb869901626f351fe74