update vkh

diff --git a/vkh b/vkh
index eacf8c433edb8b024c4edaa2564ba7dcaadf51a1..b3013732ffe957758ba1c857e11b1c9bebc68d7c 160000 (submodule)
--- a/vkh
+++ b/vkh
@@ -1 +1 @@
-Subproject commit eacf8c433edb8b024c4edaa2564ba7dcaadf51a1
+Subproject commit b3013732ffe957758ba1c857e11b1c9bebc68d7c