Fix get_ver_int