Utilities to facilitate INI file handling