make UTF-8 the standard encoding