fix building under XCode5