[vcmi/f37] Switch to compat-ffmpeg4