PHP wrapper around ffmpeg