Github mirror of VLC port to iOS