fix AVX