Also unter windows würde ich sagen, dass kein mp3 für solche Sounds verwendet wird, sonden halt wav. Bei Android hab ich da aber keine Ahnung.
Ich weiß nicht mehr seit welcher Version, aber Windows unterstützt schon länger MP3s für alle möglichen Events....
Unter Android ist MP3 auch kein Problem, ich habe viele eigene kleine MP3s auf meinem Handy und als Ping für SMS, WhatsApp, Mail.....name it, you got it....eingestellt.