Bug fix in objc/gcc.