link to amdlibm in linux unless icpc, glibc libm is too slow