something wrong with boost serialization