Use UTF-7 instead of JSON, this makes it easier to implement in Bash
Trim trailing space off lines from INI file
Encode arguments to UTF-7
No need to encode tool to UTF-7, always pure 7bit ASCII
Recompile