use utf8 file encoding