Android Terminal Emulator 1.0.57
MX Player to 1.7.25
Misc Adblock improvements
misc
Delete obsolete frandom compatiblity