Fix setup_dev.sh echo
using https endpoints for image redirects