diff --git a/Cargo.lock b/Cargo.lock
index 9e5b375d91..d27ca4edb7 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -204,6 +204,9 @@ version = "0.2.0"
 [[package]]
 name = "c2rust-ast-builder"
 version = "0.15.0"
+dependencies = [
+ "cargo 0.44.1 (registry+https://github.com/rust-lang/crates.io-index)",
+]
 
 [[package]]
 name = "c2rust-ast-exporter"
@@ -224,6 +227,7 @@ name = "c2rust-ast-printer"
 version = "0.15.0"
 dependencies = [
  "log 0.4.8 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cargo 0.44.1 (registry+https://github.com/rust-lang/crates.io-index)",
 ]
 
 [[package]]
diff --git a/c2rust-ast-builder/Cargo.toml b/c2rust-ast-builder/Cargo.toml
index bb71722cce..bce5660cce 100644
--- a/c2rust-ast-builder/Cargo.toml
+++ b/c2rust-ast-builder/Cargo.toml
@@ -11,3 +11,4 @@ repository = "https://github.com/immunant/c2rust"
 description = "Rust AST builder support crate for the C2Rust project"
 
 [dependencies]
+cargo = "0.44" # rustc
diff --git a/c2rust-ast-printer/Cargo.toml b/c2rust-ast-printer/Cargo.toml
index c2b36b20cf..a4fc923cd9 100644
--- a/c2rust-ast-printer/Cargo.toml
+++ b/c2rust-ast-printer/Cargo.toml
@@ -9,3 +9,4 @@ description = "Customized version of libsyntax rust pretty-printer"
 
 [dependencies]
 log = "0.4"
+cargo = "0.44" # rustc_target