added serialization of internalfile_id to serialization of receiverfiles