I replaced VLC with a leaner open-source player, and I'm not going back XDA