ffmpeg-7.1.2-2.mga10.src.rpm build ok