hdf5: move to a more stable URL