Fix for issue #11, encoding of ini files