updated list of OBJs included in libredis to remove redis.o