encode strings to be dumped in UTF-8

* UTF-8 is the chosen encoding for the 'str' type