sS ffmpeg_speedUpVideo(File inVideo, File outVideo, double factor) {
  ret ffmpeg("-i " + platformQuote(inVideo) + " -filter:v " + platformQuote("setpts=" + (1/factor) + "*PTS") + " " + platformQuote(mkdirsForFile(outVideo)));
}