oops, don't disable avx2