We need to stick to FFmpeg r7407 for now. This mostly reverts [30b23594]. Thus, we don't need a recent GNU Make either.