diff --git a/lib/ve b/lib/ve
index 154f192b38..be80158a97 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit 154f192b3806aafb68f9d374c27fe42e4921000b
+Subproject commit be80158a97dea36f0a22fcc938cd7ed716790a1b