!include once #1017982 // JAVE/ffmpeg

static void oggToMP3(File ogg, File mp3) ctex {
  new AudioAttributes audio;
  audio.setCodec("libmp3lame");
  new EncodingAttributes attrs;
  attrs.setFormat("mp3");
  attrs.setAudioAttributes(audio);
  print("Converting " + f2s(ogg) + " to " + f2s(mp3));
  new Encoder().encode(ogg, mp3, attrs);
  print("  [done]");
}