diff --git a/caravel b/caravel
index c941678..bf4d8c0 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit c9416789d63240641b8318c08c4e598229cc3df8
+Subproject commit bf4d8c0c8607c3a6e450f15f903e176e3d0f2ef0