add some default.nix files