fix vertx version