Symbol: solv_vercmp_haiku