diff --git a/lib/ve b/lib/ve
index e6a37e2390..31fb72a64b 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit e6a37e23901e8723526fde6d568d2af842232995
+Subproject commit 31fb72a64bc39ac58daf90ac691ab28c9edc3155