Update default.nix