patch05 - fixed amd64 issues with LIBM