As discussed on python-dev: this patch adds name mangling to

assure that extensions and interpreters using the Unicode APIs
were compiled using the same Unicode width.