use_debian_packaged_libhdf5.patch
