Re: [petsc-dev] Open solaris 64bit printf bug?