Issue #241 : replace ini parser code for Bash (not compatible bash 4.3)