a simple launcher for XiaoMi TV Box