GIMP plugin: write mapping to ini file