use_debian_packaged_libhdf5-dev.patch
