add HAVE_LIBM