vertx on rpi