renderer pdf: try encoding everything as WinAnsiEncoding