diff --git a/aux/broccoli b/aux/broccoli
index 999a935ccf..241f37597d 160000
--- a/aux/broccoli
+++ b/aux/broccoli
@@ -1 +1 @@
-Subproject commit 999a935ccff7c2229cd37d9b117f12dc881f8168
+Subproject commit 241f37597d5fb345dfed5b6b246107d143290851