serialization: use an inherited constructor