svoid setFFMpegLocation(File f) {
  saveTextFile(ffmpegLocationFile(), f2s(f));
  vmBus_send ffmpegLocationChanged();
}