Fix reallocation bug in unicode.translate(): The code was comparing
characters instead of character pointers to determine space requirements.