Update to avx v0.94.