Android media player based on VLC