make the printing of source much less inclined to be fazed by non-ASCII chars