[FFmpeg-user] Using FFmpeg to convert AVCHD streams with broken timestamps into Mpeg2