cpp: switched from text to binary serialization