fix redhat distribution name

Signed-off-by: Conke Hu <conke.hu@maxwit.com>