Update default.nix file