Include iOS in push extension init