add redis library