diff --git a/aux/broccoli b/aux/broccoli
index 12de12eb33..5f04d82f88 160000
--- a/aux/broccoli
+++ b/aux/broccoli
@@ -1 +1 @@
-Subproject commit 12de12eb33b4999499f50ac3e9afa20eb255d724
+Subproject commit 5f04d82f88e619e25f63db651d0ac887c448d85d