Use UTF8 as default file encoding