Updating default URL for downloading vertx