INSTALL.md specifies the supported PETSc version