If the encoding of this string has changed since we've set it, something has gone very wrong and the interpreter is probably very corrupted; best leave this check out.