Hello! I agree with Eelco. In addition, I’m pretty sure it would break stdenv bootstrapping on non-GNU systems, where mkdir & co. don’t support ‘-v’. Ludo’.