an Android File Manager based on 7zip