No matches were found for subject:"\[petsc\-dev\] error with flags PETSc uses for determining AVX"