Add a default.nix