diff --git a/lib/ve b/lib/ve
index e94169400e..a507dcb840 160000
--- a/lib/ve
+++ b/lib/ve
@@ -1 +1 @@
-Subproject commit e94169400e087804b8927dc27b08a45c07e0595d
+Subproject commit a507dcb840190e15bb8a47cdd8631750bc41e01a