fixes #5: convert print out unicode to utf-8 mandatorily