renamed avx-i64x4 -> avx1-i64x4