[PATCH] vdr-dxr3: fix compilation with current gcc/FFmpeg (was Re: multimedia stack update)