vertx not installed