diff --git a/aux/broccoli b/aux/broccoli
index 7c20b1a410..54f3ff4e66 160000
--- a/aux/broccoli
+++ b/aux/broccoli
@@ -1 +1 @@
-Subproject commit 7c20b1a41016471eb03ee7a0fbfe1fb34bdc084a
+Subproject commit 54f3ff4e6627d4a44d1e014e8e581e4e9dfed8c3