build01: building krb2xhhd9sq8ys9cp8jqmg0mkam0jwjf-nix-shell.drv
Running phase: buildPhase