Update caravel commit
diff --git a/caravel b/caravel
index 2f75fb7..b93aeb1 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 2f75fb740f1ab3968731b5f3c8671bb826d77857
+Subproject commit b93aeb102b9c5f2674bc1fdcd82732b414438771