static File toWAVFile(File audioFile) {
  if (hasExtension(audioFile, "mp3"))
    ret mp3ToTempWAV(audioFile);
  if (hasExtension(audioFile, "wav"))
    ret audioFile;
  fail("Can't convert file to WAV: " + f2s(audioFile));
}