diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index d5071e0dd3..77ed9cb57c 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -141,7 +141,7 @@ rec {
         '';
       };
       update-stage0 =
-        let cTree = symlinkJoin { name = "cs"; paths = [ Init.cTree Std.cTree Lean.cTree Leanpkg.cTree ]; }; in
+        let cTree = symlinkJoin { name = "cs"; paths = map (l: l.cTree) stdlib; }; in
         writeShellScriptBin "update-stage0" ''
           CSRCS=${cTree} CP_PARAMS="--dereference --no-preserve=all" ${../script/update-stage0}
         '';