In fd3d, PETSc (version 3.5 or higher) -> PETSc 3.5 or later