Fix wrong download url of vert.x