If not, abort with an #error (this means that configure failed to detect the lack of AVX support for C++)