use_debian_packaged_hdf5.patch
