Start of the code that downloads zerovm source appropriately