fixing objc encoding resolution