ffmpeg 1.2.3
ffmpeg devel 2.0.1

This provides an option to use the latest stable version while we wait
for packages like gpac to become compatible.

Closes #21169.