Simplify default.nix