add an --enable-avx2 option