Re: [petsc-dev] PETSC_WITH_EXTERNAL_LIB is not including the correct gcc directories