Re: [petsc-dev] builds of PETSc based packages should not get their own secret files