diff --git a/lib/ve b/lib/ve
index 2587549269..3a80662ef9 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit 2587549269a233d48009aaa9ad6fc7d5aba08107
+Subproject commit 3a80662ef957f042832a09615ed85e0d39216f1d