various nixpkgs files