jml update to fix cmp_xchg<double> issue in gcc 4.8.