Specify UTF-8 instead of relying on platform-specific encoding.