Rename local PETSc formula.