Be more lenient on php-ffmpeg version