eigen: fix checksum

Closes #19708.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>
vert.x: fix download URL

Closes #19710.

Signed-off-by: Adam Vandenberg <flangy@gmail.com>