Switch from Windows-1252 encoding to ISO-8859-1 encoding for mono compatibility.