misc/docker-setup: changing mode of downloaded files