This reverts commit 1d06254998.
We now get a build and maybe have a workaround #39570; /cc #39476.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.