Use https for the docker script.