Change in jenkins[master]: CentOS7 default dist is not valid