Add -lm for latest Yices version