vertx installation fix