ExternalName's `to_string()` prepends a '%' for Cretonne's text syntax, but for creating symbol names we just want the raw bytes.
ExternalName's `to_string()` prepends a '%' for Cretonne's text syntax, but for creating symbol names we just want the raw bytes.