Changes to support push notifications on iOS