updated hdf5 to 1.8.12