mci: build RPMs on CentOS.