Update to avx 0.93.