static File cmdmp3_exe() {
  File f = loadLibrary(#1009699);
  File f2 = newFile(f2s(f) + ".exe");
  if (fileSize(f2) != fileSize(f))
    copyFile(f, f2);
  ret f2;
}