Re: [petsc-dev] configure issues with new MKL and --with-mkl_sparse_optimize=0