diff --git a/zirgen/bootstrap/src/main.rs b/zirgen/bootstrap/src/main.rs
index 1d43fa1c..910c585f 100644
--- a/zirgen/bootstrap/src/main.rs
+++ b/zirgen/bootstrap/src/main.rs
@@ -54,6 +54,7 @@ const RECURSION_ZKR_ZIP: &str = "recursion_zkr.zip";
 
 const BIGINT_OUTPUTS: &[&str] = &["bigint.rs.inc"];
 const BIGINT_ZKR_ZIP: &str = "bigint_zkr.zip";
+const BIGINT_BIBC_ZIP: &str = "bigint_bibc.zip";
 
 const ZIRGEN_RUST_OUTPUTS: &[&str] = &[
     "defs.rs.inc",
@@ -330,6 +331,7 @@ impl Args {
         let src_path = bazel_bin.join("zirgen/circuit/bigint");
 
         copy_file(&src_path, &out, BIGINT_ZKR_ZIP);
+        copy_file(&src_path, &out, BIGINT_BIBC_ZIP);
         copy_group(
             circuit,
             &src_path,
diff --git a/zirgen/circuit/BUILD.bazel b/zirgen/circuit/BUILD.bazel
index 8a962179..5e736b8b 100644
--- a/zirgen/circuit/BUILD.bazel
+++ b/zirgen/circuit/BUILD.bazel
@@ -6,6 +6,7 @@ filegroup(
     name = "circuit",
     srcs = [
         "//zirgen/circuit/bigint:bigint_zkr",
+        "//zirgen/circuit/bigint:bigint_bibc",
         "//zirgen/circuit/bigint:gen_bigint",
         "//zirgen/circuit/fib",
         "//zirgen/circuit/keccak",
diff --git a/zirgen/circuit/bigint/BUILD.bazel b/zirgen/circuit/bigint/BUILD.bazel
index 1dd67e6d..92d0562a 100644
--- a/zirgen/circuit/bigint/BUILD.bazel
+++ b/zirgen/circuit/bigint/BUILD.bazel
@@ -92,3 +92,8 @@ pkg_zip(
     name = "bigint_zkr",
     srcs = [x + ".zkr" for x in ZKRS],
 )
+
+pkg_zip(
+    name = "bigint_bibc",
+    srcs = [x + ".bibc" for x in ZKRS],
+)