android: use PtaNotificationManager for our notifications