diff --git a/lib/ve b/lib/ve
index 5c98d9b418..dfb712599d 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit 5c98d9b418bb40352e40daae108424bb591f9f01
+Subproject commit dfb712599d4e4c59dff56836529f9b99c1ac526e