Switching to a different formulation of shell.nix