fix notification for ioslaunch due to the notification displaying the device id instead of the device name.