Change v9.9.9.9 to v5.3 in ver_pick calls