dump_video: Empty video files will not be dumped.