This patch is just a copy of the one in easybuild/easyconfigs/h/HDF5.