edit redis.h