A video-on-demand platform on Linux and Android