An universal archive extractor for Android