[aot] Sanitize utf8 characters in symbol names. Fixes #16851.