json to ini conversion