Replace v9.9.9.9 with v5.3 in ver_pick calls