print out unicode name when a non-ASCII character is found