Updated default.nix