static void playMP3AndWait(File mp3) {
  playMP3(mp3).close();
}