[petsc-dev] error with flags PETSc uses for determining AVX