another tweak to fix vertx module release