Fix a problem in PushUtils when used in iOS production.