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