use curl like everything else on vendorsetup.sh

Change-Id: I80bd2f98c15450064cd24a5488de12380a98bf71