bump the HDF5 version to 1.8.12