Clever FFmpeg-GUI 3.1.2 downloading