diff --git a/hermit-cli/Cargo.toml b/hermit-cli/Cargo.toml
index d4f80e8..30d3b0c 100644
--- a/hermit-cli/Cargo.toml
+++ b/hermit-cli/Cargo.toml
@@ -16,7 +16,7 @@ detcore = { version = "0.0.0", path = "../detcore" }
 diff = "0.1"
 dirs = "2.0"
 edit-distance = { version = "0.0.0", path = "../common/edit-distance" }
-fbinit = { version = "0.1.2", git = "https://github.com/facebookexperimental/rust-shed.git", branch = "main" }
+fbinit = { version = "0.2.0", git = "https://github.com/facebookexperimental/rust-shed.git", branch = "main" }
 goblin = "0.5.2"
 lazy_static = "1.4"
 libc = "0.2.139"
diff --git a/hermit-verify/Cargo.toml b/hermit-verify/Cargo.toml
index 0bcf727..6e0a0dd 100644
--- a/hermit-verify/Cargo.toml
+++ b/hermit-verify/Cargo.toml
@@ -14,7 +14,7 @@ colored = "2.1.0"
 detcore = { version = "0.0.0", path = "../detcore" }
 detcore-model = { version = "0.0.0", path = "../detcore-model" }
 edit-distance = { version = "0.0.0", path = "../common/edit-distance" }
-fbinit = { version = "0.1.2", git = "https://github.com/facebookexperimental/rust-shed.git", branch = "main" }
+fbinit = { version = "0.2.0", git = "https://github.com/facebookexperimental/rust-shed.git", branch = "main" }
 rand = { version = "0.8", features = ["small_rng"] }
 serde_json = { version = "1.0.100", features = ["float_roundtrip", "unbounded_depth"] }
 similar = { version = "2.2.0", features = ["inline"] }