ffmpeg and stagefright-plugins