Re: [petsc-dev] need for HDF5 < 1.8.0 support?