diff --git a/aux/broccoli b/aux/broccoli
index e0f34599cb..1aef055802 160000
--- a/aux/broccoli
+++ b/aux/broccoli
@@ -1 +1 @@
-Subproject commit e0f34599cb11f0df37ae1cc036d87c1794b1c0b2
+Subproject commit 1aef055802f842502d701ad152305bcd74bba632