Make sure program output use utf-8 encoding