!include once #1017982 // JAVE/ffmpeg

svoid wavToMP3_128k(File wav, File mp3) ctex {
  new AudioAttributes audio;
  audio.setCodec("libmp3lame");
  audio.setBitRate(128000);
  audio.setChannels(2);
  audio.setSamplingRate(44100);
  new EncodingAttributes attrs;
  attrs.setFormat("mp3");
  attrs.setAudioAttributes(audio);
  print("Converting " + f2s(wav) + " to " + f2s(mp3));
  new Encoder().encode(wav, mp3, attrs);
  print("  [done]");
}

static File wavToMP3_128k(File wav) {
  File out = replaceExtension(wav, "wav", "mp3");
  wavToMP3_128k(wav, out);
  ret out;
}