Updates hydra: 5b3da19 Provision: more fixes

diff --git a/hydra b/hydra
index b7311dc95f4fb020580be7be7d5c0e8a278e326b..5b3da19575e06cd21b89f66b4e01bfc5c7181bc7 160000 (submodule)
--- a/hydra
+++ b/hydra
@@ -1 +1 @@
-Subproject commit b7311dc95f4fb020580be7be7d5c0e8a278e326b
+Subproject commit 5b3da19575e06cd21b89f66b4e01bfc5c7181bc7