Make the Ubuntu Jenkins workers into CentOS ones.