No la he probado, pero hace un par de semanas me baje el gestor de archivos de MIUI que es muy bueno y se puede instalar en cualquier stock y custom.
Para el que lo quiera aqui os doy el enlace para descargarlo
http://www.mediafire.com/?s3ihc8iku9v11b5