diff --git a/lib/ve b/lib/ve
index 44556e8fd8..1cf71b3f35 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit 44556e8fd871ee7af74ae7c78f68be45519fcfd3
+Subproject commit 1cf71b3f3506afcd16ed2fc6ce72fd8dac88e8a0