Serialization of the configuration file