static void playMP3AndWait(File mp3) {
  playMp3(mp3);
}