corrected PETSc downloads parameter