An open source file manager for the android platform