Simplify default.nix
default.nix: also build test