Fixed the name of the ffmpeg sources