Change objective-c to objc in the hope that pygments will be less upset