Fix platform name for iOS (fixes #507)
Rename platform name from iphone to ios