Fixes #2172: Symbols need to support UTF-8 names