vertx runzip