An Android file manger based on 7zip