tweaks to downloads and vertx install