Install curl; shorten docker_getscript