Fix escape for $CURL in bootstrap.sh