Disable AVX feature as a workaround for #738