Fix Yices version query