ffmpeg has been deprecated; use avconv instead.
Updated to the latest SBCL.  Need to make this automatic, perhaps.
Accidentally committed the SBCL source.