logging of names through stdout.write does not need unicode conversion