static double ffmpeg_parseTimestamp(S s) {
  LS l = splitAt_withEmptyLast(s, ":");
  double d = 0;
  for i over l:
    d = d*60+parseDouble(l.get(i));
  ret d;
}