Change in jenkins[master]: fix centos 7 base repo