Add FFmpeg extension for PHP 5.5