ticket #415 decode binary into strings on py3k before printing them to stdout