Patch HDF5 (support for extendable dimensions; small fixes)