Re: [petsc-dev] Jed didn't like the directory private but he has no problem with finclude?