Re: [PATCH] release/live: fix a Makefile dependency being missing in Nix shell