Update vertx version