diff --git a/nix/packages.nix b/nix/packages.nix
index 3f3422ef5a..440d521ee1 100644
--- a/nix/packages.nix
+++ b/nix/packages.nix
@@ -28,7 +28,7 @@ let
   });
   stdenv' = if stdenv.isLinux then useGoldLinker stdenv else stdenv;
   lean = callPackage (import ./bootstrap.nix) (args // {
-    stdenv = stdenv';
+    stdenv = overrideCC stdenv' cc;
     inherit buildLeanPackage;
   });
   makeOverridableLeanPackage = f: