static File mp3ToWAVUnlessExists(File in,
  File out default replaceFileExtension(in, ".wav")) {
  if (!out.exists()) try {
    mp3ToWAV(in, out);
  } catch print {
    mp3ToWAV_jave(in, out);
  }
  ret out;
}