speed up INI (de)serialization