lake 4.20-rcX on nix broken?

Stream: general

[Johan Commelin]

I get

$ lake build
Could not start dynamically linked executable: /home/jmc/.elan/toolchains/leanprover--lean4---v4.20.0-rc4/bin/lake
NixOS cannot run dynamically linked executables intended for generic
linux environments out of the box. For more information, see:
https://nix.dev/permalink/stub-ld

[Johan Commelin]

Is this a known issue?

[Sebastian Ullrich]

Might need a Nixpkgs elan fix but I haven't taken a closer look yet