fix to make work with xcode5/sdk7