simple ffmpeg-based android media player library