minor fix for ObjC cross compilation