HDF5 serialization OK, though a bit hacky