Replace mp3 notification sound file with an ogg file.