It appears that libav, a fork of ffmpeg (see discussion here), is a more actively developed multimedia SDK and encoder. In order to install libav, instead of ffmpeg, on Ubuntu, I follow the wonderfulHOWTO on installing and using the latest FFMPEG and x264, with the following changes: