added avx-x2.h to use as a reference point for ispc