an Android media player based on ffmpeg