Correcting issues in default objc.cfg