Fix ffmpeg-based segment extraction

Subject to existing limitations, of course.  ffmpeg -to doesn't seem to work.