/default.nix filter diff public-key.txt filter diff