Adding default.nix