cleaned up AVX_FLAG stuff