vertx on rpi - code fix