update pr-downloader: make pr-7z static