Add saveToFile() for iOS.