Use stable PHP-FFMpeg release