update to newest version of caravel
diff --git a/caravel b/caravel
index 254543e..8fd3415 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 254543ed8ce7a337dbe889b8f720900662c367b8
+Subproject commit 8fd3415729ce179d956d67dbe52496b96db4cce3