fixing compilation error for iphone driver

Fixes Issue 5680.