From Roni Zanolli, build fix for iPhone