fix serialization benchmark program; was broken after api change in deserializers