make the default encoding UTF8, which is more permissive of bad characters