updated the shell.nix files in both the programs that use them, so hopefully this is not too invidious for isolated development