Update caravel
diff --git a/caravel b/caravel
index 3f26c74..cfb76ee 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit 3f26c747ae81249c97d8fb5888daee84f4459f3a
+Subproject commit cfb76ee38cec601873ba49d7e290f1e290ecd74d