with-hdf5.patch
