Re: [petsc-dev] exporting MPIUNI symbols using PETSC_EXTERN