upgrade redis to 2.8.0 final