Fix compilation error in generated obj-c code