Set encoding explictly

Do not rely on implicit platform encoding choice.