We're planning to move the vendor.sh script from hex_core to hex, but if you'd prefer it stays there it's not a problem. Thought by moving it here I think it's a bit easier to use anyway.