renamed Redis to Redis_Db, to avoid collisions with the Redis PECL extension