Upgrade HDF5 to 1.8.20.
Release notes at https://support.hdfgroup.org/ftp/HDF5/releases/hdf5-1.8/hdf5-1.8.20/src/hdf5-1.8.20-RELEASE.txt