fix #3596 (minor)
pr-downloader: fix permissions when extracting zip files
fix #3600
Merge branch 'release' into develop