Fix objc_get_type_encoding().