Readd PETSc check to configure.ac