Small fix to allow compilation in iOS