default.nix: specify isLibrary/isExecutable