Tweak www/vertx version 1.3.1