fix hdf5 / ascii pickle deserialization