adding back unicode characters on the platforms that support them