[PATCH] dvbcut: port to FFmpeg-0.8 API