diff --git a/lib/ve b/lib/ve
index 3ea50c44a4..513f0bd1bd 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit 3ea50c44a40fc288b626b8f570be27e7d651709e
+Subproject commit 513f0bd1bd130bd26da0b382064614fab4d86c2e