[Boost-users] serialization: deserialization issue